java -jar .\StateMachine\bin\Smc.jar -php *.sm
